A Dual Spring System Case-Study Model in Rosetta

This paper describes a design case-study undertaken as part of the language design validation for the Rosetta System Level Description Language. The system under consideration is a dualspring mechanical system. A physical model is constructed, describing the static characteristics of springs and the requirements and constraints applying to the system. It is demonstrated that the declarative modelling style used in Rosetta is a powerful modelling tool. Furthermore, the formal semantic basis of the language allows analysis of models and interfaces with other tools.